Temporal Planning in Domains with Linear Processes

نویسندگان

  • Amanda Jane Coles
  • Andrew Coles
  • Maria Fox
  • Derek Long
چکیده

We consider the problem of planning in domains with continuous linear numeric change. Such change cannot always be adequately modelled by discretisation and is a key facet of many interesting problems. We show how a forward-chaining temporal planner can be extended to reason with actions with continuous linear effects. We extend a temporal planner to handle numeric values using linear programming. We show how linear continuous change can be integrated into the same linear program and we discuss how a temporal-numeric heuristic can be used to provide the search guidance necessary to underpin continuous planning. We present results to show that the approach can effectively handle duration-dependent change and numeric variables subject to continuous linear change.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Planning with Linear Continuous Numeric Change

Reasoning with domains containing continuous numeric change remains an open challenge in planning. In this paper, we discuss how an established temporal planner, CRIKEY3, can be adapted to plan in domains containing linear continuous numeric change. In particular, we discuss how an LP can be used to scheudule action choices, and how the LPRPG heuristic (hitherto for non-temporal planning) can b...

متن کامل

Interpretable Apprenticship Learning with Temporal Logic Specifications

Recent work has addressed using formulas in linear temporal logic (LTL) as specifications for agents planning in Markov Decision Processes (MDPs). We consider the inverse problem: inferring an LTL specification from demonstrated behavior trajectories in MDPs. We formulate this as a multiobjective optimization problem, and describe state-based (“what actually happened”) and action-based (“what t...

متن کامل

Temporal Planning for Interacting Durative Actions with Continuous Effects

One of the most important properties of temporal planners is their capability of integrating planning into scheduling so that time can be considered as an optimization objective. Forward chaining temporal planners provides tight coupling of planning and scheduling. In these planners, a search node is represented by a world state including the applied action directly attached with a world clock ...

متن کامل

On the Use of Planning Technology for Verification

Formal verification of hardware and software systems involves proving or disproving the correctness of the intended behaviour of the system with respect to a formal specification of the system. An effective means of automating this process is by representing properties to be verified in a temporal logic and exploiting model checking or theorem proving. In this paper we examine the use of planni...

متن کامل

Optimal Motion Planning for Markov Decision Processes with Co-Safe Linear Temporal Logic Specifications

We present preliminary work on the application of probabilistic model checking to motion planning for robot systems, using specifications in co-safe linear temporal logic. We describe our approach, implemented with the probabilistic model checker PRISM, illustrate it with a simple simulated example and discuss further extensions and improvements.

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2009